Search results for "Auto mated Reasoning"

Introducing automated reasoning in network management

2004

This paper proposes the adoption of Artificial Intelligence techniques in the field of network management and moni toring. In order to allow automated reasoning on network ing topics, we constructed an accurate ontological model capable of fitting as more as possible networking concepts. The thoroughly representation of the domain knowledge is used by a Logical Reasoner, which is an expert system ca pable of performing management tasks typically executed by human experts. The Logical Reasoner is integrated in a distributed multi-agent architecture for network manage ment, which exploits the dynamic reasoning capabilities of the Situation Calculus formalism to provide a powerful sys tem capa…